Dubious objections from iterated conjunctions

Automatic Verification of Iterated Separating Conjunctions Using Symbolic Execution

In permission logics such as separation logic, the iterated separating conjunction is a quantifier denoting access permission to an unbounded set of heap locations. In contrast to recursive predicates, iterated separating conjunctions do not prescribe a structure on the locations they range over, and so do not restrict how to traverse and modify these locations. This flexibility is important fo...

Dubious Deductions from AGN Survey Data

The participants in this meeting are almost all carrying out the hard work of making many different types of AGN surveys. Since it’s so much easier to criticize other people’s work than to do actual work myself, I’ll just present some demurs regarding recent papers drawing conclusions from various AGN survey data. In particular I’ll mention some questionable interpretations of surveys of Seyfer...

Understanding Dubious Future Problems

Being able to predict the performance of a Case-Based Reasoning(CBR) system against a set of future problems would provide invaluable information for design and maintenance of the system. Thus, we could carry out the needed design changes and maintenance tasks to improve future performance in a proactive fashion. This paper proposes a novel method for identifying regions in a case base where th...

Objections to hospital philosophers.

Like morally sensitive hospital staff, philosophers resist routine simplification of morally complex cases. Like hospital clergy, they favour reflective and principled decision-making. Like hospital lawyers, they refine and extend the language we use to formulate and defend our complex decisions. But hospital philosophers are not redundant: they have a wider range of principles and categories a...

Conscientious objections to reform.